High-Level Theories
نویسندگان
چکیده
We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatizations, that is neither an effective nor a comfortable way to work with such theories. We present an approach which is closer to what users of mathematics employ, while still being based on formal structures.
منابع مشابه
Ab initio study on the variation of stacking interactions of aniline and hydrated aniline systems
The use of appropriate level of theories for studying weak interactions such as 8-8 stackinginteractions of aromatic molecules has been an important aspect, since the high level methods havelimitations for application to large molecules. The differences in the stacking energies of variousaromatic molecular structures are found significant. It is also very important for identifying the mostfavor...
متن کاملCalibration Results for Non-Expected Utility Theories∗
Rabin [23] proved that a low level of risk aversion with respect to small gambles leads to a high level of risk aversion with respect to large gambles. Rabin’s arguments strongly depend on expected utility theory, but we show in this paper that similar arguments apply to many non expected utility theories, and to a certain extent, to theories dealing with uncertainty as well.
متن کاملIndiGolog : Execution of Guarded Action
IndiGolog: Execution of Guarded Action Theories Sebastian Sardiña Master of Science Graduate Department of Computer Science University of Toronto 2000 In AI, the problem of selecting (high-level) actions in dynamic and not completely predictable environments translates into the problem of designing controllers that can map sequence of observations into actions so that certain goals are achieved...
متن کاملA Distributed Framework for Semi- Automatically Developing Architectures of Brain and Mind
Developing comprehensive theories of low-level neuronal brain processes and high-level cognitive behaviours, as well as integrating them, is an ambitious challenge that requires new conceptual, computational, and empirical tools. Given the complexities of these theories, they will almost certainly be expressed as computational systems. Here, we propose to use recent developments in grid technol...
متن کاملGrand Challenge 5: Architecture of Brain and Mind A distributed framework for semi-automatically developing architectures of Brain and Mind
Developing comprehensive theories of low-level neuronal brain processes and high-level cognitive behaviours, as well as integrating them, is an ambitious challenge that requires new conceptual, computational, and empirical tools. Given the complexities of these theories, they almost certainly will be expressed as computational systems. Here, we propose to use recent developments in GRID technol...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008